Generating test sequences from a set of MSCs
نویسندگان
چکیده
We propose an approach to generate test cases from a set of Message Sequence Charts (MSCs) by constructing a semantically equivalent finite state machine for testing reactive and embedded software. Test cases are expressed as a sequence of messages to be exchanged among various system entities. We use scenario activation conditions and state assignments to generate only the feasible states and transitions. This paper uses a complex digital TV software to illustrate how test cases are automatically generated.
منابع مشابه
Test compaction for at-speed testing of scan circuits based onnonscan test. sequences and removal of transfer sequences
We propose a procedure for generating compact test sets with enhanced at-speed testing capabilities for scan circuits. Compaction refers here to a reduction in the test application time, while at-speed testing refers to the application of primary input sequences that contribute to the detection of delay defects. The proposed procedure generates an initial test set that has a low test applicatio...
متن کاملTransforming Message Sequence Charts for Testing Automated Test Code Generation for Different Abstraction Layers
In this paper we describe experiences gained from using Message Sequence Charts (MSCs) for the specification and execution of tests. Using a test code generator (MSC2C) allows us to verify a system under test against the specified sequences. For executing one test specification on different test stages with different interfaces we applied transformation rules that transform abstract MSCs to con...
متن کاملGenerating Reduced Tests for FSMs with Extra States
We address the problem of generating tests from a deterministic Finite State Machine to provide full fault coverage even if the faults may introduce extra states in the implementations. It is wellknown that such tests should include the sequences in the so-called traversal set, which contains all sequences of length defined by the number of extra states. Therefore, the only apparent opportunity...
متن کاملGENERATING FUZZY RULES FOR PROTEIN CLASSIFICATION
This paper considers the generation of some interpretable fuzzy rules for assigning an amino acid sequence into the appropriate protein superfamily. Since the main objective of this classifier is the interpretability of rules, we have used the distribution of amino acids in the sequences of proteins as features. These features are the occurrence probabilities of six exchange groups in the seque...
متن کاملComparison of the effect of platelet lysate derived from umbilical cord blood and peripheral blood on the expansion and differentiation of MSCs
Abstract Background and Objectives Proliferation and differentiation of mesenchymal stem cells (MSCs) in culture media requires the presence of nutrient supplements such as bovine fetal serum (FBS), which increases the risk of prion/xenotic infections. Platelet lysates as a rich source of growth factors and cytokines can replace FBS in cell culture medium. This study aimed to compare the effe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer Networks
دوره 42 شماره
صفحات -
تاریخ انتشار 2003